Blar i AURA på forfatter "Brådland, Øystein"
-
Multilevel techniques and learning automata for the Maximum Satisfiability (MAXSAT) problem
Brådland, Øystein; Oseland, Mats G.L. (Master thesis, 2012)The Maximum Satisfiability (MAXSAT) Problem is a propositional logic and an optimization based problem that has great importance in the theoretical and practical domain. In the recent years MAXSAT has risen great interest ...